class IRQTimeOut:
    def __init__(self, kernel):
        self.kernel = kernel
        
    def run(self,pcb):
        pcb.estado = 'Time Out'
        self.kernel.reanudarPCB(pcb)
        self.kernel.pasarAlSiguientePCB()